Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
7th International Conference on Automated Deduction : proceedings / ed. R. E. Shostak Monografia Publication Berlin : Springer-Verlag, 1984 Description VI, 508 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Embedded systems / ed. A. Kündig, R. E. Büher, J. Dãhler Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description IV, 207 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
Correct system design : recent insights and advances / ed. Ernst-Rüdiger Olderog, Bernhard Steffen Monografia Publication Berlin : Springer, cop. 1999 Description XIV, 415 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart